<?php
class File
{
	static function getExtension($filename)
	{
		$pos = strrchr($filename, ".");
		if ($pos === false)
			return NULL;

		return substr($pos, 1);
	}
}
?>